NONSTANDARD MODELS AND CONSTRUCTIVITYSMORYNSKI C.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 459-464; BIBL. 9 REF.Conference Paper

RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC; ADDENDUMSMORYNSKI C.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 493-494; BIBL. 6 REF.Article

PROBABILITA NON SIGMA -ADDITIVE E ANALISI NON-STANDARD = PROBABILITE NON SIGMA -ADDITIVE ET ANALYSE NON STANDARDGIANNONE A.1982; REND. MAT.; ISSN 0034-4427; ITA; DA. 1982; VOL. 2; NO 1; PP. 47-58; ABS. ENG; BIBL. 15 REF.Article

On nonstandard models in higher order logicHORT, C; OSSWALD, H.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 204-219, issn 0022-4812Article

A note on the undefinability of cutsPARIS, J. B; DIMITRACOPOULOS, C.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 564-569, issn 0022-4812Article

A nonstandard functional approach to Fubini's theoremLOEB, P. A.Proceedings of the American Mathematical Society. 1985, Vol 93, Num 2, pp 343-346, issn 0002-9939Article

The strength of nonstandard methods in arithmeticWARD HENSON, C; KAUFMANN, M; KEISLER, A. J et al.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1039-1058, issn 0022-4812Article

Full satisfaction classes : a surveyKOTLARSKI, H.Notre Dame journal of formal logic. 1991, Vol 32, Num 4, pp 573-579, issn 0029-4527Article

Degree of recursively saturated modelsMACINTYRE, A; MARKER, D.Transactions of the American Mathematical Society. 1984, Vol 282, Num 2, pp 539-554, issn 0002-9947Article

Deux fantaisies d'univers non standard = Two fantasies of non standard universesRESSAYRE, J.-P.Comptes rendus des séances de l'Académie des sciences. Série 1, Mathématique. 1984, Vol 299, Num 13, pp 583-586, issn 0249-6291Article

A note on satisfaction classesKOSSAK, R.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 1-8, issn 0029-4527Article

Epistemic semantics for classical and intuitionistic logicMARTIN, J. N.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 105-116, issn 0029-4527Article

A correction to On extensions of models of strong fragments of arithmeticKOSSAK, R.Proceedings of the American Mathematical Society. 1991, Vol 112, Num 3, pp 913-914, issn 0002-9939Article

Nonstandard set theoryFLETCHER, P.The Journal of symbolic logic. 1989, Vol 54, Num 3, pp 1000-1008, issn 0022-4812Article

Nonstandard principles for generalized functionsVERNAEVE, H.Journal of mathematical analysis and applications. 2011, Vol 384, Num 2, pp 536-548, issn 0022-247X, 13 p.Article

A sharp version of the bounded Matijasevich conjecture and the end-extension problemADAMOWICZ, Z.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 597-616, issn 0022-4812Article

Constructive ultraproducts and isomorphisms of recursicely saturated ultrapowersNELSON, G. C.Notre Dame journal of formal logic. 1992, Vol 33, Num 3, pp 433-441, issn 0029-4527Article

Proceedings. I: Models ands sets/Logic colloquium, Aachen, July 18-23, 1983MÜLLER, G. H; RICHTER, M. M.Lecture notes in mathematics. 1984, Vol 1103, issn 0075-8434, VIII-484 pConference Proceedings

Sub-arithmetical ultrapowers: a surveyMCLAUGHLIN, T. G.Annals of pure and applied logic. 1990, Vol 49, Num 2, pp 143-191, issn 0168-0072, 49 p.Article

Detecting the h°, H°, A°, H^± Higgs bosons at future e⁺e^- collidersGUTIERREZ-RODRIGUEZ, Alejandro; HERNANDEZ-RUIZ, M. A; SAMPAYO, O. A et al.Journal of the Physical Society of Japan. 2001, Vol 70, Num 8, pp 2300-2310, issn 0031-9015Article

Inductive full satisfaction classesKOTLARSKI, H; RATAJCZYK, Z.Annals of pure and applied logic. 1990, Vol 47, Num 3, pp 199-223, issn 0168-0072Article

Hilbert's fifth problem for local groupsGOLDBRING, Isaac.Annals of mathematics. 2010, Vol 172, Num 2, pp 1269-1314, issn 0003-486X, 46 p.Article

Near arithmetic progressions in sparse setsLETH, Steven C.Proceedings of the American Mathematical Society. 2006, Vol 134, Num 6, pp 1579-1589, issn 0002-9939, 11 p.Article

Extendible sets in Peano arithmeticSMITH, S. T.Transactions of the American Mathematical Society. 1989, Vol 316, Num 1, pp 337-367, issn 0002-9947Article

Application scenarios for nonstandard log-linear modelsMAIR, Patrick; VON EYE, Alexander.Psychological methods. 2007, Vol 12, Num 2, pp 139-156, issn 1082-989X, 18 p.Article